Open Constraints in a Closed World

نویسندگان

  • Willem Jan van Hoeve
  • Jean-Charles Régin
چکیده

We study domain filtering algorithms for open constraints, i.e., constraints that are not a priori defined on specific sets of variables. We present an efficient filtering algorithm, achieving set-domain consistency, for open global cardinality constraints. We extend this result to conjunctions of them, in case they are defined on disjoint sets of variables. We also analyze the case when the sets of variables may overlap. As establishing set-domain consistency is NP-complete in that case, we propose a weaker, though efficient, filtering algorithm instead. Finally, we extend our results to conjunctions of similar open constraints.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Transforming OWL 2 RL Schemas to Relational Schemas with Open-world or Closed-world Semantics

Storing and processing Semantic Web knowledge in relational database management systems (RDBMSs) is currently a growing interest in both academia and industry. In this paper, we present OWLRel, a database-driven ontology reasoner that supports sound reasoning of OWL 2 RL and can adhere to either the open-world assumption or the closed-world assumption. This is achieved by regarding the mapping ...

متن کامل

Spatial modelling of zonality elements based on compositional nature of geochemical data using geostatistical approach: a case study of Baghqloom area, Iran

Due to the existence of a constant sum of constraints, the geochemical data is presented as the compositional data that has a closed number system. A closed number system is a dataset that includes several variables. The summation value of variables is constant, being equal to one. By calculating the correlation coefficient of a closed number system and comparing it with an open number system, ...

متن کامل

Closed World Reasoning in the Semantic Web through Epistemic Operators

The open world assumption makes OWL principally suitable to handle incomplete knowledge in Semantic Web scenarios, however, some scenarios desire closed world reasoning. Autoepistemic description logics allow to realise closed world reasoning in open world settings through epistemic operators. An extension of OWL by epistemic operators therefore allows for non-monotonic features known from clos...

متن کامل

On Closed World Data Bases / 119 on Closed World Data Bases

Deductive question-answering systems generally evaluate queries under one of two possible assumptions which we in this paper refer to as the open and closed world assumptions. The open world assumption corresponds to the usual first order approach to query evaluation: Given a data base DB and a query Q, the only answers to Q are those which obtain from proofs of Q given DB as hypotheses. Under ...

متن کامل

The effect of proportional of open space to semi-open space in better use of climatic conditions in houses in coastal and foothill areas of East Gilan

Having a mild and humid climate, Gilan province is closer to the comfort zone than other regions of Iran. In addition, the use of radiation, wind, precipitation and humidity components in the spatial organization of native houses has led to the formation of a semi-open space next to the closed space. In general, the placement of spaces in this climate is such that there is no clear border betwe...

متن کامل

Inflation Dynamics in a Dutch Disease Economy

Abstract In this paper, the effect of foreign sector macro-variable on inflation dynamics and firms’ pricing behavior has been investigated in the context of a small open economy New Keynesian Phillips Curve. This curve is derived and estimated for a developing oil-exporting economy suffering from Dutch Disease. This version of NKPC is an extension of Leith and Malley’s (2007) small open econom...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006